University of Edinburgh School of Informatics

Results: 305



#Item
41

Embedding machine learning in formal stochastic models of biological processes Jane Hillston School of Informatics, University of Edinburgh 29th October 2014

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

- Date: 2014-10-31 12:53:11
    42

    The Vector Space Model of Word Meaning Informatics 1 CG: Lecture 13 Mirella Lapata School of Informatics University of Edinburgh

    Add to Reading List

    Source URL: www.inf.ed.ac.uk

    - Date: 2016-02-08 08:36:36
      43

      Best-First Rippling Moa Johansson, Alan Bundy, and Lucas Dixon School of Informatics, University of Edinburgh, Appleton Tower, Crichton St, Edinburgh EH8 9LE, UK {moa.johansson, a.bundy, lucas.dixon}@ed.ac.uk

      Add to Reading List

      Source URL: www.cse.chalmers.se

      - Date: 2012-03-21 07:53:59
        44

        Advances in Programming Languages APL20: Type-checking for SQLizeability Ian Stark School of Informatics The University of Edinburgh

        Add to Reading List

        Source URL: www.inf.ed.ac.uk

        - Date: 2010-03-18 11:11:32
          45

          Informatics 1 Cognitive Science (2015–2016) School of Informatics, University of Edinburgh Mirella Lapata Quiz 1: Introduction to Language 1. What is the mental lexicon?

          Add to Reading List

          Source URL: www.inf.ed.ac.uk

          - Date: 2016-01-29 04:56:46
            46

            Towards Formal Proof Script Refactoring Iain Whiteside, David Aspinall, Lucas Dixon? , and Gudmund Grov School of Informatics, University of Edinburgh Edinburgh EH8 9AB, Scotland Abstract. We propose proof script refact

            Add to Reading List

            Source URL: homepages.inf.ed.ac.uk

            - Date: 2013-01-09 06:40:19
              47

              Advances in Programming Languages APL18: Bridging Query and Programming Languages Ian Stark School of Informatics The University of Edinburgh

              Add to Reading List

              Source URL: www.inf.ed.ac.uk

              - Date: 2010-03-10 21:26:25
                48

                Advances in Programming Languages APL19: Heterogeneous Metaprogramming in F# Ian Stark School of Informatics The University of Edinburgh

                Add to Reading List

                Source URL: www.inf.ed.ac.uk

                - Date: 2010-03-14 19:23:34
                  49

                  UNSUPERVISED NEURAL NETWORK BASED FEATURE EXTRACTION USING WEAK TOP-DOWN CONSTRAINTS Herman Kamper1,2 , Micha Elsner3 , Aren Jansen4 , Sharon Goldwater2 1 CSTR and 2 ILCC, School of Informatics, University of Edinburgh,

                  Add to Reading List

                  Source URL: www.cstr.inf.ed.ac.uk

                  - Date: 2015-09-29 11:06:25
                    50

                    IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and

                    Add to Reading List

                    Source URL: www.cse.chalmers.se

                    - Date: 2013-09-13 09:25:11
                      UPDATE